锚网锚索支护技术在综采工作面大断面切眼的应用

根据现场工程地质条件调查分析、岩石物理力学特性和复合顶板大断面综采切眼围岩力学变形机制及其转化研究，提出了复合顶板综采工作面巷道锚网锚索耦舍支护设计方案。施工结果证明其在技术上是可行的，安全上是可靠的，经济上是合理的。     

高速公路入口匝道模糊控制及其仿真研究

提出一种模糊逻辑方法控制高峰期间进入高速公路的车辆数目。分析了模糊逻辑控制器的基本结构，阐述了模糊控制算法，给出了隶属度函数，根据高速公路上游、下游及入口匝道上安装的传感器检测到的流量、速度、占有率、匝道排队长度等信息，设计了入口匝道模糊逻辑控制器，并用计算机对控制器进行了仿真，仿真结果表明该方法切实可行、具有实用价值，它能避免高速公路主线交通拥挤和堵塞，提高主线的通行能力，实现车辆在高速公路上高效、安全的运行。     

Testing and Evaluation for Web Usability Based on Extended Markov Chain Model

As the increasing popularity and complexity of Web applications and the emergence of their new characteristics. the testing and maintenance of large, complex Web applications are becoming more complex and difficult. Web applications generally contain lots of pages and are used by enormous users. Statistical testing is an effective way of ensuring their quality. Web usage can be accurately described by Markov chain which has been proved to be an ideal model for software statistical testing. The results of unit testing can b eutilized in the latter stages, wbich is an important strategy for bottom-to-top integration testing, and the other improvement of extended Markov chain model (FMM) is to present the error type vector which is treated as a part of page node. This paper also proposes the algorithm for generating test cases of usage paths. Finally, optional usage reliability evaluation methods and an incremental usability regression testing model for testing and evaluation are presented.     

面向产品投产比例的多Hoist调度研究

在电镀生产线上,多种不同类型的工件往往按照一定的比例关系组织生产,以应对多样化的订单需求,缩短订单交付周期,而为了克服由运输设备造成的生产瓶颈,加工设备之间的工件转运作业多采用数个自动化的Hoist(行车)来完成。针对面向产品投产比例的多Hoist调度问题,采用启发式策略实现多个不同类型工件在并行工作站上的分配,同时考虑工件加工时间窗口约束、工作站的使用能力约束以及Hoist无碰撞约束,构建了解决此类问题的混合整数规划模型。最后,以某印刷电路板制造企业的全板电镀生产实例验证了所建数学模型的实际应用价值。     

La掺杂对SrTiO_3纳米颗粒光催化性能的影响

采用高温固相反应法,向SrTiO_3中掺杂不同含量La制备光催化剂,通过XRD、SEM、UV-Vis等手段对其结构和形貌进行表征,并以罗丹明B(RhB)为模拟污染物,研究掺杂不同含量La所制催化剂对RhB的光催化降解能力的影响,从而评价所制催化剂的光催化性能。结果表明,随着掺La含量的增加,所制催化剂的晶体结构从SrTiO_3的立方晶系逐步向La_2Ti_2O_3的单斜晶系转变;La掺杂使得所制催化剂的禁带宽度减小、对紫外光的吸收阈值增大,使其光催化性能得到显著提升;掺La含量越高,所制催化剂的光催化性能越好。     

用于卫星载荷数据传输总线的终端IP核设计

根据通信卫星有效载荷数据传输总线协议及其工作原理，提出了一种总线终端IP（intellectual property）核的设计及验证方法，该IP核由总线接口模块、时钟分频模块、协议处理模块、数据采集模块等组成，其设计和研制具有自主知识产权。该IP核完成了模块仿真验证、芯片系统仿真验证和FPGA（field programmable gate array）验证并已流片成功，验证结果表明：该IP核设计功能全面、资源占用少、可靠性高，可应用于通信卫星地检验证设备或者直接应用于卫星有效载荷设备中，支持通信卫星有效载荷数据传输总线的测试。     

带有加性噪声的阻尼吊桥方程随机吸引子的存在性

用算子分解技巧, 通过对方程的解进行先验估计, 给出随机动力系统的一致渐近紧性, 从而证明了随机吊桥方程在加性噪声下随机吸引子的存在性.     

C3N4/ZnO复合材料可见光下的甲醛光电气敏性能

以水热法合成的ZnO纳米棒花为载体,将C_3N_4定量负载在其表面,制备C_3N_4/ZnO复合材料.由于C_3N_4与ZnO的能级匹配,可有效促进其光生电荷的分离,降低光生电荷复合率,显著提高载流子浓度,使其光电流明显增加.C_3N_4与ZnO质量比为2%的样品(2%C_3N_4/ZnO)性能最佳,其光电流在370 nm处可达120μA,为纯ZnO的2.4倍.在室温可见光下,2%C_3N_4/ZnO样品对HCHO的光电气敏响应值可达122%,比纯ZnO高4倍左右.结果表明,适量C_3N_4的负载有效延长了光生电荷的寿命,使ZnO材料在可见光区对HCHO气体表现出高效的光电气敏性能.     

剩余类环上多项式的同余性质

设Z/p~nZ是模p~n剩余类环.本文证明了U={f(x)∈Z/p~nZ[x]|f(a)≡0(modp~n),■a∈Z}是自由生成的Z/p~nZ-模,给出了它的一组基,还证明了商环(Z/p~nZ[x])/U是有限环,并通过这组基确定了商环(Z/p~nZ[x])/U中的元素个数.     

Multifunctional artificial nacre via biomimetic matrix-directed mineralization

Natural nacre, one of the most studied biological structural materials with delicate hierarchical structures and extraordinary performance, has inspired the design and fabrication of artificial structural ceramics with high fracture toughness. However, to meet the diverse requirements of different applications, future structural materials must be multifunctional with superior mechanical properties, such as strength, hardness, and toughness. Herein, based on the matrix-directed mineralization method for producing biomimetic structural materials, we introduce nanoparticles with different inherent functions into the platelets of artificial nacre via the co-mineralization of aragonite and the nanoparticles. Besides their enhanced mechanical properties, the obtained artificial nacre materials also exhibit different functions depending on the type of the nanoparticles. To extend the versatility of this strategy, the effects of nanoparticles of different sizes and zeta potentials on mineralization are also analyzed. This universal strategy can be applied to the fabrication of other types of functionalized biomimetic structural ceramics that have potential applications in various fields, such as biomedical science.